TSTP Solution File: SEV502^1 by SInE---0.4